Delft University of Technology Software Engineering Research Group Technical Report Series Generating Editors for Embedded Languages

Source URL: swerl.tudelft.nl

• Compiler construction
• Source code
• Programming language implementation
• Scannerless parsing
• Parsing
• Stratego/XT
• Domain-specific language
• IMP programming language
• Abstract syntax tree
• Computing
• Software engineering
• Computer programming

libclang: Thinking Beyond the Compiler Monday, November 29, 2010

Source URL: www.llvm.org

• Cross-platform software
• Programming language implementation
• Formal languages
• Parsing
• Clang
• Syntax
• C
• Abstract syntax tree
• Software
• Computing
• Compiler construction

Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA

Source URL: www.lix.polytechnique.fr

• Lambda calculus
• Logic programming
• Type theory
• Predicate logic
• ΛProlog
• Unification
• Free variables and bound variables
• Simply typed lambda calculus
• Higher-order abstract syntax
• Logic
• Mathematics
• Theoretical computer science

A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University

Source URL: schemeworkshop.org

• Lambda calculus
• Recursion
• Subroutines
• Computability theory
• Theoretical computer science
• Higher-order abstract syntax
• Fixed-point combinator
• Scheme
• Continuation-passing style
• Software engineering
• Computing
• Computer programming

Jumbo λ-Calculus Paul Blain Levy University of Birmingham Abstract. We make an argument that, for any study involving computational effects such as divergence or continuations, the traditional syntax of simply typed lam

Source URL: www.cs.bham.ac.uk

BRICS Basic Research in Computer Science BRICS RSDanvy et al.: Normalization by Evaluation with Typed Abstract Syntax Normalization by Evaluation

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSDanvy & Rhiger: A Simple Take on Typed Abstract Syntax in Haskell-like Languages A Simple Take on Typed Abstract Syntax in

Source URL: www.brics.dk

Metaprogramming with Traits John Reppy and Aaron Turon University of Chicago {jhr,adrassi}@cs.uchicago.edu Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objec

Source URL: www.ccs.neu.edu

• Method
• Object-oriented programming
• Java programming language
• Type theory
• C++
• Constructor
• Multiple inheritance
• Trait
• Java syntax
• Software engineering
• Computing
• Computer programming

$SPAD/src/input kamke1.input Timothy Daly December 30, 2008 Abstract This is the next 50 of the Kamke test suite as published by E. S. Cheb-Terrab[1]. They have been rewritten using Axiom syntax. Where

Source URL: axiom-developer.org

• Differential equation
• Differential calculus
• Inverse functions
• Hermite polynomials
• Classical orthogonal polynomials
• Mathematical analysis
• Mathematics
• Orthogonal polynomials

Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Dependently typed programming
• Formal methods
• Lambda calculus
• Twelf
• Higher-order abstract syntax
• Logical framework
• Frank Pfenning
• Theoretical computer science
• Mathematics
• Programming language theory